Time representation/Représentation temporelle in areas (2024-03-15)
Armen Inants, Jérôme Euzenat, So, what exactly is a qualitative calculus?, Artificial intelligence 289:103385, 2020
The paradigm of algebraic constraint-based reasoning, embodied in the notion of a qualitative calculus, is studied within two alternative frameworks. One framework defines a qualitative calculus as "a non-associative relation algebra (NA) with a qualitative representation", the other as "an algebra generated by jointly exhaustive and pairwise disjoint (JEPD) relations". These frameworks provide complementary perspectives: the first is intensional (axiom-based), whereas the second one is extensional (based on semantic structures). However, each definition admits calculi that lie beyond the scope of the other. Thus, a qualitatively representable NA may be incomplete or non-atomic, whereas an algebra generated by JEPD relations may have non-involutive converse and no identity element. The divergence of definitions creates a confusion around the notion of a qualitative calculus and makes the "what" question posed by Ligozat and Renz actual once again. Here we define the relation-type qualitative calculus unifying the intensional and extensional approaches. By introducing the notions of weak identity, inference completeness and Q-homomorphism, we give equivalent definitions of qualitative calculi both intensionally and extensionally. We show that "algebras generated by JEPD relations" and "qualitatively representable NAs" are embedded into the class of relation-type qualitative algebras.
Algebraic constraint-based reasoning, Qualitative reasoning, Qualitative calculus, Relation algebra
Sébastien Laborie, Jérôme Euzenat, Nabil Layaïda, Adaptation spatiale efficace de documents SMIL, in: Actes 15e conférenceAFIA-AFRIF sur reconnaissance des formes et intelligence artificielle (RFIA), Tours (FR), pp127, 2006
La multiplication des supports de présentation multimédia entraîne un besoin d'adaptation des documents à leur contexte d'exécution. Nous avons proposé une approche sémantique d'adaptation de documents multimédia qui a été temporellement définie à l'aide de l'algèbre d'intervalles d'Allen. Cet article étend ces précédents travaux à la dimension spatiale des documents SMIL. Notre objectif est de trouver une représentation spatiale qualitative permettant de calculer un ensemble de solutions d'adaptation proche du document initial. La qualité d'une adaptation se mesure à deux niveaux: expressivité des solutions d'adaptation et rapidité de calcul. Dans ce contexte, nous caractérisons la qualité de l'adaptation selon plusieurs types de représentations spatiales existantes. Nous montrons que ces représentations ne permettent pas d'avoir une qualité d'adaptation optimale. Nous proposons alors une nouvelle représentation spatiale suffisament expressive permettant d'adapter rapidement des documents multimédia SMIL.
Adaptation sémantique, Documents multimédia SMIL
Jérôme Euzenat, Angelo Montanari, Time granularity, in: Michael Fisher, Dov Gabbay, Lluis Vila (eds), Handbook of temporal reasoning in artificial intelligence, Elsevier, Amsterdam (NL), 2005, pp59-118
A temporal situation can be described at different levels of abstraction depending on the accuracy required or the available knowledge. Time granularity can be defined as the resolution power of the temporal qualification of a statement. Providing a formalism with the concept of time granularity makes it possible to model time information with respect to differently grained temporal domains. This does not merely mean that one can use different time units - e.g., months and days - to represent time quantities in a unique flat temporal model, but it involves more difficult semantic issues related to the problem of assigning a proper meaning to the association of statements with the different temporal domains of a layered temporal model and of switching from one domain to a coarser/finer one. Such an ability of providing and relating temporal representations at different "grain levels" of the same reality is both an interesting research theme and a major requirement for many applications (e.g. agent communication or integration of layered specifications). After a presentation of the general properties required by a multi-granular temporal formalism, we discuss the various issues and approaches to time granularity proposed in the literature. We focus on the main existing formalisms for representing and reasoning about quantitative and qualitative time granularity: the general set-theoretic framework for time granularity developed by Bettini et al and Montanari's metric and layered temporal logic for quantitative time granularity, and Euzenat's relational algebra granularity conversion operators for qualitative time granularity. The relationships between these systems and others are then explored. At the end, we briefly describe some applications exploiting time granularity, and we discuss related work on time granularity in the areas of formal specifications of real-time systems, temporal databases, and data mining.
Sébastien Laborie, Jérôme Euzenat, Nabil Layaïda, Adapter temporellement un document SMIL, in: Actes atelierplate-forme AFIA 2005 sur Connaissance et document temporel, Nice (FR), pp47-58, 2005
Les récentes avancées technologiques permettent aux documents multimédia d'être présentés sur de nombreuses plates-formes (ordinateurs de bureau, PDA, téléphones portables...). Cette diversification des supports a entraîné un besoin d'adaptation des documents à leur contexte d'exécution. Dans [Euzenat2003b], une approche sémantique d'adaptation de documents multimédia a été proposée et temporellement définie à l'aide de l'algèbre d'intervalles d'Allen. Cet article étend ces précédents travaux en les appliquant au langage de spécification de documents multimédia SMIL. Pour cela, des fonctions de traduction de SMIL vers l'algèbre de Allen (et inversement) ont été définies. Celles-ci préservent la proximité entre le document adapté et le document initial. Enfin, ces fonctions ont été articulées avec [Euzenat2003b].
Adaptation sémantique, Documents multimédia SMIL
Jérôme Euzenat, Nabil Layaïda, Victor Dias, A semantic framework for multimedia document adaptation, in: Proc. 18th International Joint Conference on Artificial Intelligence (IJCAI), Acapulco (MX), pp31-36, 2003
With the proliferation of heterogeneous devices (desktop computers, personal digital assistants, phones), multimedia documents must be played under various constraints (small screens, low bandwidth). Taking these constraints into account with current document models is impossible. Hence, generic source documents must be transformed into documents compatible with the target contexts. Currently, the design of transformations is left to programmers. We propose here a semantic framework, which accounts for multimedia document adaptation in very general terms. A model of a multimedia document is a potential execution of this document and a context defines a particular class of models. The adaptation should then retain the source document models that belong to the class defined by the context if such models exist. Otherwise, the adaptation should produce a document whose models belong to this class and are ``close'' to those of the source documents. We focus on the temporal dimension of multimedia documents and show how adaptation can take advantage of temporal reasoning techniques. Several metrics are given for assessing the proximity of models.
[Freksa 1996] reference is [Freksa 1992]p35, top item is "di"p35, exchange "si" and "fi"
Jérôme Euzenat, Personal information management and the semantic web, 3p., octobre 2002
Text for the SWAD-Europe workshop on semantic web calendaring
Jérôme Euzenat, Granularity in relational formalisms with application to time and space representation, Computational intelligence 17(4):703-737, 2001
Temporal and spatial phenomena can be seen at a more or less precise granularity, depending on the kind of perceivable details. As a consequence, the relationship between two objects may differ depending on the granularity considered. When merging representations of different granularity, this may raise problems. This paper presents general rules of granularity conversion in relation algebras. Granularity is considered independently of the specific relation algebra, by investigating operators for converting a representation from one granularity to another and presenting six constraints that they must satisfy. The constraints are shown to be independent and consistent and general results about the existence of such operators are provided. The constraints are used to generate the unique pairs of operators for converting qualitative temporal relationships (upward and downward) from one granularity to another. Then two fundamental constructors (product and weakening) are presented: they permit the generation of new qualitative systems (e.g. space algebra) from existing ones. They are shown to preserve most of the properties of granularity conversion operators.
Granularity, Space representation, Time representation, Relation algebra, Interval algebra, Product, Weakening
Jérôme Euzenat, Représentations de connaissance: de l'approximation à la confrontation, Habilitation à diriger des recherches, Université Joseph Fourier, Grenoble (FR), janvier 1999
référence INRIA TH-015
Un formalisme de représentation de connaissance a pour but de permettre la modélisation d'un domaine particulier. Bien entendu, il existe divers langages de ce type et, au sein d'un même langage, divers modèles peuvent représenter un même domaine. Ce mémoire est consacré à l'étude des rapports entre de multiples représentations de la même situation. Il présente les travaux de l'auteur entre 1992 et 1998 en progressant de la notion d'approximation, qui fonde la représentation, vers la confrontation entre les diverses représentations. Tout d'abord la notion d'approximation au sein des représentations de connaissance par objets est mise en avant, en particulier en ce qui concerne l'ensemble des mécanismes tirant parti de la structure taxonomique (classification, catégorisation, inférence de taxonomie). À partir de la notion de système classificatoire qui permet de rendre compte de ces mécanismes de manière unique on montre comment un système de représentation de connaissance peut être construit. Le second chapitre introduit la possibilité de tirer parti de multiples taxonomies (sur le même ensemble d'objets) dans un système de représentation de connaissance. La multiplicité des représentations taxonomiques est alors introduite en tant que telle et justifiée. Ces multiples taxonomies sont replacées dans le cadre des systèmes classificatoires présentés auparavant. La notion de granularité, qui fait l'objet du troisième chapitre, concerne la comparaison de représentations diverses de la même situation sachant qu'elles ont un rapport très particulier entre elles puisqu'elles représentent la même situation sous différentes granularités. À la différence des autres chapitres, celui-ci n'est pas situé dans le cadre des représentations de connaissance par objets mais dans celui des algèbres de relations binaires utilisées pour représenter le temps et l'espace. Le quatrième chapitre, enfin, va vers la confrontation des différentes représentations de manière à en tirer le meilleur parti (obtenir une représentation consensuelle ou tout simplement une représentation consistante). Le but des travaux qui y sont présentés est de développer un système d'aide à la construction collaborative de bases de connaissance consensuelles. À cette fin, les utilisateurs veulent mettre dans une base commune (qui doit être consistante et consensuelle) le contenu de leurs bases de connaissance individuelles. Pour cela, deux problèmes particuliers sont traités : la conception d'un mécanisme de révision, pour les représentations de connaissance par objets, permettant aux utilisateurs de traiter les problèmes d'inconsistance et la conception d'un protocole de soumission de connaissance garantissant l'obtention d'une base commune consensuelle. Cet aperçu partiel des travaux possibles dans l'étude des relations entre représentations est limité, mais il met en évidence le caractère non impératif des solutions proposées qui s'appliquent bien au cadre où le modélisateur interagit avec le système de représentation.
représentation de connaissance, approximation, bases de connaissance, modélisation, représentation par objets, point de vue, passerelle, classification, catégorisation, inférence de taxonomie, granularité, représentation temporelle, algèbre de relations binaires, révision, consensus, TROEPS, CO4
Jérôme Euzenat, Algèbres d'intervalles sur des domaines temporels arborescents, in: Actes 11e congrèsAFCET-AFIA sur Reconnaissance des Formes et Intelligence Artificielle (RFIA), Clermont-Ferrand (FR), pp385-394, 1998
Afin de concilier les algèbres d'intervalles temporels avec un modèle temporel arborescent, on présente une algèbre d'intervalles dont le modèle du temps est ordonné par un ordre partiel. Elle est ensuite déclinée suivant l'orientation de l'arborescence. L'approche utilisée est classique puisqu'elle consiste à produire une algèbre d'instants dans chacun de ces cas et de " passer à l'intervalle ". Elle est cependant complexifiée par l'introduction de la notion de voisinage conceptuel dont le passage à l'intervalle nécessite de nouveaux développements. De plus, la symétrie passé/futur dans le cas arborescent est nettement mise en évidence et, en particulier, dissociée de la symétrie des relations réciproques.
Algèbres de relations, algèbres d'intervalles, temps arborescent, domaine temporel partiellement ordonné, restriction
Christian Bessière, Jérôme Euzenat, Robert Jeansoulin, Gérard Ligozat, Sylviane Schwer, Raisonnement spatial et temporel, in: Actes 6e journées nationalesPRC-GDR intelligence artificielle , Grenoble (FR), pp77-88, 1997
Bien que, ou parce que, toutes les activités et toutes les perceptions humaines sont relatives au temps et à l'espace, ni les philosophes, ni les scientifiques n'en fournissent de définition unanime. Kant conçoit l'espace et le temps comme des conditions nécessaires de l'expérience humaine, qui ne porte jamais sur la réalité en soi, mais sur les phénomènes qu'on perçoit. Pour Pascal ce sont des choses premières qu'il est impossible, voire inutile de définir.
Le temps et l'espace sont des modalités fondamentale de l'existence et de la connaissance que l'on en a. A défaut de les définir, les hommes se sont attachés au cours des siècles à les mesurer. Ces approches métriques, numériques, ont été l'enjeu de travaux considérables pour gagner en précision. Pour autant l'absence de précision dans la localisation, n'a jamais empêché de constater - qualitativement - que le temps et l'espace sont source de relations entre les objets et les événements.
Les représentations de ces approches qualitatives n'ont reçu de formalisation mathématique que vers la fin du siècle dernier, où Henri Poincaré fonde les bases des travaux ultérieurs sur la relativité comme sur la topologie.
Ces approches qualitatives focalisent le travail du groupe Kanéou, en termes de représentation (logique, modèles, langue naturelle), de traitement (CSP, multi-agents) et d'application (diagnostic, aménagement, systèmes d'information géographique).
Jérôme Euzenat, Christian Bessière (éds), Dossier 'Raisonnement temporel et spatial', Bulletin de l'AFIA 29:26-51, 1997
Jérôme Euzenat, An algebraic approach to granularity in time representation, in: Proc. 2nd IEEE international workshop on temporal representation and reasoning (TIME), Melbourne (FL US), pp147-154, 1995
Any phenomenon can be seen under a more or less precise granularity, depending on the kind of details which are perceivable. This can be applied to time. A characteristic of abstract spaces such as the one used for representing time is their granularity independence, i.e. the fact that they have the same structure at different granularities. So, time "places" and their relationship can be seen under different granularities and they still behave like time places and relationship under each granularity. However, they do not remain exactly the same time places and relationship. Here is presented a pair of operators for converting (upward and downward) qualitative time relationship from one granularity to another. These operators are the only ones to satisfy a set of six constraints which characterize granularity changes.
Jérôme Euzenat, A categorical approach to time representation: first study on qualitative aspects, in: Proc. IJCAI workshop on spatial and temporal reasoning, Montréal (CA), pp145-152, 1995
The qualitative time representation formalisms are considered from the viewpoint of category theory. The representation of a temporal situation can be expressed as a graph and the relationship holding between that graph and others (imprecise or coarser) views of the same situation are expressed as morphisms. These categorical structures are expected to be combinable with other aspects of knowledge representation providing a framework for the integration of temporal representation tools and formalisms with other areas of knowledge representation.
Category theory, time representation, temporal granularity, interval algebra
Jérôme Euzenat, A categorical approach to time representation: first study on qualitative aspects, in: Proc. IJCAI workshop on spatial and temporal reasoning, Montréal (CA), pp145-152, 1995
The qualitative time representation formalisms are considered from the viewpoint of category theory. The representation of a temporal situation can be expressed as a graph and the relationship holding between that graph and others (imprecise or coarser) views of the same situation are expressed as morphisms. These categorical structures are expected to be combinable with other aspects of knowledge representation providing a framework for the integration of temporal representation tools and formalisms with other areas of knowledge representation.
Category theory, time representation, temporal granularity, interval algebra
Jérôme Euzenat, An algebraic approach for granularity in qualitative time and space representation, in: Proc. 14th International Joint Conference on Artificial Intelligence (IJCAI), Montréal (CA), pp894-900, 1995
Any phenomenon can be seen under a more or less precise granularity, depending on the kind of details which are perceivable. This can be applied to time and space. A characteristic of abstract spaces such as the one used for representing time is their granularity independence, i.e. the fact that they have the same structure under different granularities. So, time "places" and their relationships can be seen under different granularities and they still behave like time places and relationships under each granularity. However, they do not remain exactly the same time places and relationships. Here is presented a pair of operators for converting (upward and downward) qualitative time relationships from one granularity to another. These operators are the only ones to satisfy a set of six constraints which characterize granularity changes. They are also shown to be useful for spatial relationships.
Jérôme Euzenat, Granularité dans les représentations spatio-temporelles, Rapport de recherche 2242, INRIA Rhône-Alpes, Grenoble (FR), 62p., avril 1994
Afin de représenter le temps sous plusieurs niveaux de détail, une représentation temporelle granulaire est proposée. Une telle représentation dispose les entités temporelles dans différents espaces organisés hiérarchiquement et nommés granularités. Elle conduit à conserver la représentation symbolique du temps et à simplifier la représentation numérique. Par contre, elle nécessite la définition d'opérateurs de conversion des représentations entre deux granularités afin de pouvoir utiliser une même entité temporelle sous différentes granularités.
Les propriétés que doivent respecter ces opérateurs afin de conserver les interprétations classiques de ces représentations sont exposées et des opérateurs de conversion symboliques et numériques sont proposés. Sous l'aspect symbolique, les opérateurs sont compatibles avec la représentation des relations temporelles sous forme d'algèbre de points et d'intervalles. En ce qui concerne la conversion numérique, certaines contraintes doivent être ajoutées afin de disposer des propriétés escomptées. Enfin, des possibilités d'utilisation de la latitude laissée par la définition des opérateurs sont discutées et l'extension de la représentation granulaire à d'autres espaces est explorée.
Représentation temporelle, Représentation spatiale, Points de vue, Granularité, Localité, Histoire
Jérôme Euzenat, Représentation granulaire du temps, Revue d'intelligence artificielle 7(3):329-361, 1993
Afin de représenter le temps sous plusieurs niveaux de détail, une représentation temporelle granulaire est proposée. Une telle représentation dispose les entités temporelles dans différents espaces organisés hiérarchiquement et nommés granularités. Elle conduit à conserver la représentation symbolique du temps et à simplifier la représentation numérique. Par contre, elle nécessite la définition d'opérateurs de conversion des représentations entre deux granularités afin de pouvoir utiliser une même entité temporelle sous différentes granularités. Les propriétés que doivent respecter ces opérateurs afin de conserver les interprétations classiques de ces représentations sont exposées et des opérateurs de conversion symboliques et numériques sont proposés. Sous l'aspect symbolique, les opérateurs sont compatibles avec la représentation des relations temporelles sous forme d'algèbres de points et d'intervalles. En ce qui concerne la conversion numérique, certaines contraintes doivent être ajoutées afin de disposer des propriétés escomptées. Par ailleurs, la caractérisation des opérateurs laisse une certaine latitude, qui peut être utilisée pour introduire de la connaissance liée au domaine considéré, dans leur définition. Des possibilités d'utilisation de cette latitude sont discutées.
The publisher overlooked one page of the paper in the editing process (the equivalent of one full page starting three lines before the end of p334). This page was published in issue 7(4).
Représentation temporelle, Granularité, Localité, Histoire